My Neighbor Alice/lib.dip.core.Attribute.Private/is_unique_value

is_unique_value

function is_unique_value(i: instance, attribute: attribute, value: gtv): boolean